higher-order predicate logic
[数] 高阶谓词逻辑
热门查询
- eyewall n. 眼壁
- sin n. 罪恶；罪孽；过失 vt. 犯罪 vi. 犯罪；犯过失 n. (Sin)人名；(罗)西恩；(匈)欣；(柬、阿拉伯)辛；(缅)信
- countermeasure n. 对策；反措施；反抗手段
- neuralgia n. [内科] 神经痛
- leftmost adj. 最左边的
- indrawn adj. 内向的；吸入的；被卷入的
- brushstroke n. 一笔；笔的一划；绘画技巧
- Martindale [人名] [英格兰人姓氏] 马丁代尔住所名称，来源于教堂名或人名Martin+“河谷”(valley); [地名] [美国、南非共和国] 马丁代尔
- dynasty n. 王朝，朝代
- mandolin n. 曼陀林（一种琵琶乐器）
- wily adj. 狡猾的；诡计多端的 n. (Wily)人名；(英)威利
- ecumenical adj. 普遍的；世界范围的；全基督教的
- aforethought n. 预谋 adj. 预谋的；事先考虑的；故意的
- improvise vt. 即兴创作；即兴表演；临时做；临时提供 vi. 即兴创作；即兴表演；临时凑合
- toxic adj. 有毒的；中毒的
- flagella n. 鞭毛；鞭节（flagellum的复数） n. (Flagella)人名；(意)弗拉杰拉
- spraying n. 喷涂；喷雾；喷洒 v. 喷射；飞溅（spray的ing形式）
- racing n. 赛马；竞赛 adj. 比赛的 vi. 赛马（race的ing形式）；竞赛
- generate vt. 使形成；发生；生殖；产生物理反应
- renegotiated vt. 重新谈判；重新协商 vi. 重新谈判
考试词汇表
- Sven Johansson tripin
- Svenska Handelsbanken
- Sverdlovskaya Oblast'
- Swan's neck deformity
- Sweat Gland Neoplasms
- Sweat gland of eyelid
- Swedish monetary unit
- Sweeteners,Artificial
- Swertia binchuanensis
- Swertia erythrosticta
- Swertia membranifolia
- Swertia sinensis Hara
- Swi4 cell cycle boxes
- Swi6 cell cycle boxes
- Swietinia macrophylla
- Swimming pod granloma
- Swine Disease,Mystery
- Swine Fever,Classical
- Swine influenza virus
- Swine streptococcosis
